Knowledge representation and reasoning

Results: 743



#Item
641Science / Data / Information science / Technical communication / Knowledge representation / Web Ontology Language / Semantic integration / Knowledge representation and reasoning / Semantic similarity / Semantic Web / Information / Ontology

Microsoft Word - Portada Noy.doc

Add to Reading List

Source URL: iswc2003.semanticweb.org

Language: English - Date: 2003-10-21 14:42:31
642Ontology / Non-classical logic / Philosophical logic / Model theory / Quantification / Description logic / Tbox / Abox / Knowledge representation and reasoning / Logic / Science / Mathematical logic

2 Basic Description Logics Franz Baader

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-09-08 09:53:48
643Knowledge / Conceptual graph / Knowledge representation and reasoning / Description logic / Frame language / Is-a / Semantic memory / Semantic network / KL-ONE / Knowledge representation / Logic / Science

4 Relationships with other Formalisms Ulrike Sattler

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-09-08 09:53:48
644Scientific modeling / Thought / Data modeling / Data model / Conceptual model / Information model / Modeling language / Description logic / Knowledge representation and reasoning / Cognition / Mind / Ethology

10 Conceptual Modeling with Description Logics Alex Borgida

Add to Reading List

Source URL: www.inf.unibz.it

Language: English - Date: 2011-09-08 09:53:48
645Philosophical logic / Philosophy of language / Logical syntax / Model theory / Interpretation / Function / Truth / Knowledge representation and reasoning / Proposition / Logic / Mathematical logic / Propositional calculus

Approximate Subsumption in ALCQ Heiner Stuckenschmidt University of Mannheim, Germany A5, [removed]Mannheim [removed]

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
646Science / Ontology / Knowledge representation / Knowledge engineering / Web Ontology Language / Description logic / Knowledge representation and reasoning / Mereology / DOGMA / Information / Semantic Web / Information science

Integrated Distributed Description Logics (extended abstract) Antoine Zimmermann INRIA Rhˆone-Alpes Abstract. We propose a Description-Logics-based language that extends standard DL with distributed capabilities. More

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
647Non-classical logic / Artificial intelligence / Description logic / Information science / First-order logic / FO / Lambda calculus / Function / Knowledge representation and reasoning / Mathematical logic / Logic / Mathematics

Expressing DL-Lite Ontologies with Controlled English Raffaella Bernardi, Diego Calvanese, Camilo Thorne Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3, Bolzano, Italy {bernardi,calvanes

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
648Information / Knowledge / Technical communication / Knowledge representation / Knowledge engineering / Ontology / SNOMED CT / Knowledge representation and reasoning / Description logic / Science / Information science / Semantic Web

Ontological Modeling for Neurovascular Disease Studies: Issues in the Adoption of DL Gianluca Colombo, Marco Antoniotti, Daniele Merico, Flavio De Paoli, and Giancarlo Mauri Dipartimento di Informatica, Sistemistica e Co

Add to Reading List

Source URL: www.ceur-ws.org

Language: English - Date: 2007-05-22 01:39:22
649Programming paradigms / Knowledge / Natural language processing / Educational psychology / Case-based reasoning / Critical thinking / Information retrieval / Knowledge representation and reasoning / Planner / Artificial intelligence / Science / Reasoning

AAAI Spring Symposium Series Call for Participation

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2008-12-15 18:43:45
650Educational psychology / Knowledge representation and reasoning / Reasoning / Scientific modeling / Cognitive science / System / Psychology / Planner / Academic conference / Science / Knowledge / Education

AAAI[removed]Spring Symposium Series March 27 – 29, 1995 Stanford University, California

Add to Reading List

Source URL: www.aaai.org

Language: English - Date: 2008-12-15 18:43:50
UPDATE